Relative Normalization in Deterministic Residual Structures
نویسندگان
چکیده
? Abstract. This paper generalizes the Huet and L evy theory of normaliza-tion by neededness to an abstract setting. We deene Stable Deterministic Residual Structures (SDRS) and Deterministic Family Structures (DFS) by axiomatizing some properties of the residual relation and the family relation on redexes in an Abstract Rewriting System. We present two proofs of the Relative Normalization Theorem, one for SDRSs for regular stable sets, and another for DFSs for all stable sets of desirablènormal forms'. We further prove the Relative Optimality Theorem for DFSs. We extend this result to de-terministic Computation Structures which are deterministic Event Structures with an extra relation expressing self-essentiality.
منابع مشابه
Discrete Normalization and Standardization in Deterministic Residual Structures
? Abstract. We prove a version of the Standardization Theorem and the Discrete Normalization (DN) Theorem in stable Deterministic Residual Structures , which are Abstract Reduction Systems with axiomatized residual relation , and model orthogonal rewrite systems. The latter theorem gives a strategy for construction of reductions L evy-equivalent (or permutation-equivalent) to a given, nite or i...
متن کاملA NEW DAMAGE INDEX FOR STRUCTURAL DAMAGE IDENTIFICATION BY MEANS OF WAVELET RESIDUAL FORCE
In this paper a new method is presented for structural damage identification. First, the damaged structure is excited by short duration impact acceleration and then, the recorded structural displacement time history responses under free vibration conditions are analyzed by Continuous Wavelet Transform (CWT) and Wavelet Residual Force (WRF) is calculated. Finally, an effective d...
متن کاملEvaluation of Seismic Response of Concrete Structures Reinforced by Shape Memory Alloys (Technical Note)
Shape memory alloys (SMAs) are unique smart materials that have many advantages, such as ability to resist large strains without leaving residual strains and ability to recover original form. However, the high costs of SMAs have limited their usage. This paper evaluates the behavior of concrete structures equipped with SMAs in an optimal manner as they are being used along the plastic hinge of ...
متن کاملA new plan to connect aluminum tubes of subsurface structures
In this study, a new method for joining aluminum tubes in subsurface structures using steel converting and aluminum welding are presented and reviewed. But near the weld area is under high thermal cycle and will cause residual stresses in heat affected zone. Therefore for assessment of proposed connection from the perspective of residual stress by using the finite element method welding of tu...
متن کاملStrong Normalization for HA + EM1 by Non-Deterministic Choice
We study the strong normalization of a new Curry-Howard correspondence for HA+EM1, constructive Heyting Arithmetic with the excluded middle on Σ1-formulas. The proof-term language of HA+ EM1 consists in the lambda calculus plus an operator ‖a which represents, from the viewpoint of programming, an exception operator with a delimited scope, and from the viewpoint of logic, a restricted version o...
متن کامل